Calling the mistake "banal" is already a judgement call. If the requirement is in the license then presumably whoever emitted the license cared about the clause

Calling the mistake "banal" is already a judgement call. If the requirement is in the license then presumably whoever emitted the license cared about the clause being respected to the letter.