A couple of minor fixes in SpecializeBranchedLoops.