A default in the switch