Fix up the virtual method unsoundness.