minor change in user.php