Fix minor error with runtests.py