add missing destructor