Minor fixes to manual *.dox files.