Fixed type in user.php