Minor correctioons to the doxygen main page.