editing FSM