Fix symbol highlight bug.