bugfix: add missing virtual destructor.