fix cut-and-paste error in verifier

Oops.
1 file changed