Small fix for yesterdays doxygen fix.