Bug fix for User.php.