Correction to documentation.