trivial fixes to docs