added Doxygen output