minor edits of typos