Fix a few Doxygen comments.