Minor edit of the documentation. Related to the last commit.