Some minor fixes to docs