What's the reason for this (and the next) change? I don't see how that would be more efficient, but if it is shouldn't this line be changed too: https://github.com/mozilla/pdf.js/blob/master/src/core/evaluator.js#L652?