Add a virtual destructor to Basic