no longer using highlight-symbol