Followup to r58263: forgot patch file