More fixes to the verifier script.