minor user.php fixes