Update highlighter.rkt