Update utf_highlighter.py