Edits to the introduction