Update DFA.js