Minor formatting and typos