Fix wrong initialState in automaton