very minor fixes to docs