minor change to docs...