Slight changes in documentation.