Fix a bug instantiating a nested verifier.