Fixed DeviceDB JSON serialization issue