Tidy code for logout.php