Small correction to documentation.