move highlight-symbol stuff