Another bugfix for DeviceDB