Fix User.php pb
the $user returned was not exactly right : problem due to current() function