Minor fix to Doxyfile.