Does this need to be different from `session_destroy` ?