Fix test-verify test-case