Update redefine.js