minor correction in nbt_DFA