tiny change to docs