fixed various glitches with highlighter