Some minor user.php changes just for looks.