Fixed bug in lib/user.php that referred to undefined variable.
Update all.