bug fix in function logout.php