Minor formatting change.

Mostly to trigger CI rebuild.