Fix a newly introduced bug in run_tests.sh.