Made a destructor virtual