fixes to export and switching off highlighters