Fixed doxygen warnings. Re #6137.