fixes NameError for CookieOverflow