Made the destructors different