New State machine tutorial

In the TwoStateMachines.ino of Part1 tutorial this routine:

void switchMachine() {
byte pinIs = digitalRead(switchPin);
if (switchMode == PULLUP) pinIs = !pinIs;
switch (switchState) {
case IS_OPEN: { if(pinIs == HIGH) switchState = IS_RISING; break; }
case IS_RISING: { switchState = IS_CLOSED; break; }
case IS_CLOSED: { if(pinIs == LOW) switchState = IS_FALLING; break; }
case IS_FALLING: { toggleMachine(); switchState = IS_OPEN; break; }
}

Turns the led off but how does the Led get turned on again ?