fix destructor