Got a corrected and conceptual proof of the fact that in an iterated cofibrant replacement, the various collapse maps are homotopic, as long as the replacement is a standard bar construction coming from an adjunction.