Minor edits throughout.