Minor formatting tweakings.