clearer wording for finalizer()?