minor formatting edits/typos