Miscellaneous fixes about doxygen