Fix DFA substraction bug