Minor formatting and esthetics