Fix user.t broken in previous commit