Minor formatting for doxygen.