fixed initialization of verifier