minor change to docs