minor tweak to doxygen.config