Verifier fixes.