Trying to fix the automaton specs.