Minor formatting improvements