Well,
You cant really expect players to check player reports every time they want to play a game, he didn't know he was banned and therefore he simply joined the servers. Raven didn't add the ban yet (he cant add bans 24/7 either since were still all human) and thats why he was able to join.
Pim
I will leave the final decision to either wheezy or high staff.