Various fixes to the docs.