some minor fixes to docs