destructor bug fix