fix auto-highlight