bugfix in doxyfile