updating fsm