Make the verifier a little more explicit about this problem.