Tweaked Doxygen file