Correct the destructor