minor tweak to docs.