A few more minor edits to wording