Some fixes to the docs.