Minor formatting modifications