Minor formatting fixes