fix a failing example in package CompleteIntersectionResolutions