Small fixes to docs.