DFA computing small fixes.