Fix doxygen stuff