Small change to the documentation.