Update documentation. Thanks to Herve Werner for the report.