Minor edits to the text throughout.