small tweak to docs