Doxygen cleanup.