Instrument disabling is not active by now (see #1133).