Fixes a typo in the Doxygen main page