Fix doxygen generation