fix destructors