Minor updates to the doxygen file