Fix StateMachine doc