Minor change to _Automata