Fix whitespace in wtstats.py.