changed highlighter option