Update NFA.js