Implemented destructor