Minor formatting tweak.