minor cosmetic code-cleanings inside class.login, e.g. using PHP 5 syntax