Fixup doxygen documentation