fixed a bug in the main verifier