adapted to new User.get_user interface