tiny fix in doxygen config file