minor edits; fix some typos