cleanups for Logoff.php