minor edits: typos etc.