Fix initialization of auto-highlight-symbol-mode