Fix bug in Add doxygen support