Re #6972. Clearing out doxygen warnings.