Fix bug 120

* util/derandui.py (_addTS): Fix typos.