Corrected Doxygen mainpage.