Fixed a typo (and some other issues) in the verifier