Jewel/Topaz full UID is 6 bytes long (7 bytes with the manufacturer ID) but during select only the 4 LSB are returned, so we change the display to keep it in mind. (Thanks to Phil)

examples/nfc-utils.c

@@ -135,7 +135,7 @@ print_nfc_felica_info (const nfc_felica_info_t nfi)
 void
 print_nfc_jewel_info (const nfc_jewel_info_t nji)
 {
-  printf ("            JEWELID: ");
+  printf ("      4-LSB JEWELID: ");
   print_hex (nji.btId, 4);
   printf ("           SENS_RES: ");
   print_hex (nji.btSensRes, 2);