Automaton, saveToState fixed.