This looks like a change in the semantics, we need an explanation for this change.