Sync doxygen doc with recent modifications