SliceGuarantor: bug fix