fixed a destructor related warning