update Doxygen doc