destructors cannot have extra arguments