Fixed a minor bug in run_tests.py.