Call the destructor properly