fix bug in sync_sliver