Some more fixes to documentation.