Fix doxygen in header