Small changes in the documentation.