fix tiny typo in destructor.