added missing virtual destructor