tweaks; adding highlight-symbol