Fix Verifyse3(...).