Bug fix: DeviceSet.replaceDev failed if new dev None