Typo in highlight-symbol delay