Fix minor doxygen nits.