deprecated old destructor