fixed test for MainVerifier