Update highlighter.py