minor doxygen file fix