No. I only noticed the mistake a little while ago. It's a drafting issue, so I wanted to make you aware. If the committee wishes to adopt the amendment as is, I'm fine with that, but we have to be consistent. I'll let you decide whether the wording should be amended or not.
It's not a substantive change. We all want the same thing. It just fixes a minor drafting problem.