Doxygen fix.