fix bug in delete_sliver