Fixes bug in DeviceOperationFacade with modifyDevice.