Various minor edits, mainly typos.