Minor adjustments to documentation.