virtual destructor restored