More edits to introduction