[Vm-dev] bad code in patch to bug 6555