I just copied reserve_user_name.php to disallow_user_name.php (making sure the original file is intact in case it's called too somewhere!) and that took care of the problem.

Edit: I was typing same time as admin, didn't see his post. Thanks for your speedy help!