fixed highlight-symbol