Small improvement in documentation.