Improved NFA.html file