Fix syntax error in state machine example