Minor fixes in the mainpage of the dox.