Updated destructor