Amend the description of labels: JUMP instructions can only be followed
by labels, not registers. Drop the `OnStateChange()` function tweak, for
it's unneeded.