small fix on test_case.txt