Fix a warning about abstract class not having a virtual destructor