Fix automata again??