Minor edits to the text