Manual fix of de.js