My company's security dept briefly (briefly!) put GCC on the banned software list. Yes, that GCC. Buncha big brainlords in that dept.
When I pointed this out, they said "just ignore that part".
Nope LMAO!
Even so I would advise you to have the lawyers re-draft the entire thing.
Let the other side know, ensure you make the change clear and initial the change. 8f they sign the contract too, your change sticks
In my country, anyhow