What's the thinking behind the red highlight? Style choice, or does it serve another purpose?