Fixed some of the stuff in the NFA file