Fix batch mismatch for verifies