Bug fix in dfa_delete.