The $user variable is now only set by the outer while loop and passed directly
to alert_user().