Error correction is always used, in case the QR code is damaged in a way that leaves a valid-looking QR code. In this case, it likely fixed any accidental misstitches. I don’t know how to check how much was used, but thanks for the afternoon project!