Fix a virtual destructor warning.

Patch by Manuel Klimek!