Fixup randsync tweak