Minor fixups to Doxygen comments.