Minor correction to docs