Looks like you'll have to e-mail him back and ask him to register again. At least if you do that you'll know that he can receive e-mails from your domain. Also, you could try registering yourself as a new user to make sure everything is working correctly.
