Minor formatting change, no functional change.