tiny tweak to docs