When adding a new choice in the graphical interface (e.g. by dragging a player icon onto a node), the actions are all given the label "1". These should be numbered sequentially ("1", "2", ...).