Tweaked documentation for StateMachine