Comment by jonathankoren

No. They did not. I’ve found five other errors, and I’m not even looking hard. All I did was remember one, and then reread what I copy and pasted for unrelated reasons.