Small fix for Doxyfile.