Small fixes to docs