More logging in MetaVerifier