fixed an incompatibility with ColorHighlighter plugin