correct mapping of FSM states