@johnjbarton Can you verify this? This is a change in semantics. Will this cause any trouble?