Fix un-unicoded characters coming from tokenize()