fix sessions.inc.php code