resolves bug. auto highlight symbol is the name of the package to highlight symbols