Minor fixes to _sessions.php