Minor change to the docs.