Misc fixes in documentation.