updated formatting and some typos