Add a virtual destructor to quiet a warning.