Update of Doxygen header