Small change in the documentation