Update NFA.js

okay