[Highlighter] simpler string manipulation