Fixed the destructor