Just to ensure we're backwards-compatible here: do we know of any examples in the current code where this would actually do something already? I.e. is there anywhere in the current code where this change could end up altering functionality?