Correction to Doxyfile