Fix doxygen.