These things should be detected with es5 off. We'll have to discuss flipping that setting.