If $_SESSION isn't set, don't trigger a PHP notice.