Apologies if I'm missing the point, but can you clarify why this is needed here (and in the other examples)? I've tried running this code with and without this line under MPL 1.2 and 1.3, and I there's no obvious difference in the output.