Fix a misinterpretation of the states_index for a Signal.

The limit is on the number of states, not on the number of signals that
can have states.