Fix doxygen target