Correction to r176432: the bug actually fixed was <rdar://13025708>.