Add missing Doxygen output.