Minor changes in the docs' wording.