runharness.py: cosmetic change, delete trailing whitespace.