minor tweek to docs