small edits for clarity, typos, etc