Smaller changes in the documentation.