Small change in documentation