I'd rephrase: The session cookie is now deleted after flush() is called.