Minor change to docs.