Make verifier test succeed