fixing a conversion bug in DeviceDBRD