Fix a type hint in User.php