Minor correction to docs.