Put the virtual destructor back in