Adding the correct highlight-symbol.el