Editing: AuthenticateSession.php