Fix some obvious Doxygen comment bugs.