Small style fix in run_tests.sh.