Minor change on the docs