Added in FSM example