little edit in User class