fix bug in state machine export