Made some very small wording changes in sections 6 and 7