fixed destructor