Fixed VERIFY_ALL bug