Minor formatting touchups.