Correction to the run_test_case.sh script.