Fixing the highlighter configuration option