Minor changes in the text of the documentation