fix verifier test