MachineVerifier: Clean up some syntactic weirdness left behind by find&replace.

No functionality change.