Prevents notice errors if $_SESSION isn't set