minor tweak to docs