Verifier fixed