Fixed VERIFY and VERIFY_SUCCESS