Remove unused destructor