Improved es3.js.