Bug #10222 fixed (computing root map in strong_components).