Minor edits in the last paragraphs