Typo in code snippet in "Basic Execution"

[liviusi]

In the example provided, the interest lies in state1's (successor) stdin rather than state's (predecessor).

[rhelmot]

Thanks!