user.rb: minor fixes