Doxygen corrections.