Small change in documentation.