I ran it 250 times, and it passed every time.

Fixes #12654.