Some fixes to docs.