Fix wrong destructor