more tweaks to the highlighter