small fixes to docs