Small change to the docs.