Added two small tweaks in Users.php, alongside those in #258.