Userlogin.php: Tweaks and corrections