Minor changes in the documentation.