Fix $user not defined.