Minor changes in documentation.