Minor formatting.