diff --git a/virtualsmartcard/doc/README.txt.in b/virtualsmartcard/doc/README.txt.in
index 1e2f9010..68b067ca 100644
--- a/virtualsmartcard/doc/README.txt.in
+++ b/virtualsmartcard/doc/README.txt.in
@@ -229,7 +229,13 @@ as USB device:
 
 2. Run the following command to get the device's product and vendor ID::
 
-    system_profiler SPUSBDataType
+    system_profiler SPUSBDataType \
+      | awk '
+        /Product ID:/{p=$3}
+        /Vendor ID:/{v=$3}
+        /Manufacturer:/{sub(/.*: /,""); m=$0}
+        /Location ID:/{sub(/.*: /,""); printf("%s:%s %s (%s)\n", v, p, $0, m);}
+      '
 
 3. Change :file:`/usr/local/libexec/SmartCardServices/drivers/ifd-vpcd.bundle/Info.plist`
    to match your product and vendor ID: