minor fixes to docs