Fix Doxygen formatting.