Re #10559. Fixing doxygen warnings.