Readd virtual destructors which were accidentally removed yesterday.