Minor formatting tweek.