Fixing virtual class destructor