Follow-up fix for bug#10813: add missing destructor.