Fix documentation so that it works with Doxygen.