Minor correction in de.js.