switch: isSet trace correction