Ya, I quickly noticed that, and so didn't at all take for granted that a matching result was correct.