Minor improvement concerning the User class