Small change to the documentation