Capital annotation error in TUBundle (User.php)