Thanks! Do we need to resubmit?
Nope, you've stated elsewhere and the judges can see it, so it's not a problem!