By banning him, you should take my advice and adjust to the !banuser command.
It is used by typing into your console !banuser [user's ID / GUID] [lenght of ban] [reason]
It makes it a permanent ban if you ban a player without typing the lenght of this ban.
Have a good day!