Prevent crash on multiple user errors (which I cannot reproduce in
a small test case). // rdar://13178483.