Doxyfile fix