Minor edit to docs.