That would change the semantics. Maybe it is subtle enough that we can get away with it.