remove wrong highlight-symbol setting