fix highlighter bug