Ah, that makes sense. Would you mind submitting this one commit as a separate PR? We can land this one quickly. Please update the docs to note the errata correction as well (`docs/development/test-vectors.rst`).