Few clean-ups for doxygen.