Fixes arrays in NFACreator