[BUG #6979] fixed destructor