State machine generation failure

This screen shot shows that one of the events is invalid (it is actually invalid because it does not provide the name of a valid state transition function). The error is shown by highlighting the event text in red while all the other events are shown in blue, indicating that they are valid