Minor doxygen document improvement.