highlighter bug workaround