Clarified DFA error messages