Fix the highlighter configuration value