This is in generated / printed code where I'd rather keep it just as a safety precaution / making sure we hit the right thing.