Working on user manual *.dox files (small corrections).