remove dangling whitespace in util.py