Riverbasim: sync again