a bug in the slice of a witness set