remove unused destructor