Small change to the docs