Some fixes to docs