Trivial performance fix in testrunner.py