I think that the comment above rule explains how highlights work, so this comment inside the rule is not necessary (and actually a bit confusing).