Small change to documentation