minor fixes to User.java