fix some formatting and typos