diff --git a/src/adb/AdbProvider.ts b/src/adb/AdbProvider.ts
index bce989aca0..efe3eb3fa0 100644
--- a/src/adb/AdbProvider.ts
+++ b/src/adb/AdbProvider.ts
@@ -1707,9 +1707,7 @@ export class AdbProvider {
           },
           provider,
           {
-            limitations: [
-              "Push writes the caller's file to the device; this is the only device-mutating ADB tool",
-            ],
+            limitations: ["Push writes the caller's file to the device"],
           },
         ),
       );
@@ -1731,7 +1729,7 @@ export class AdbProvider {
         {
           limitations: [
             "The device did not answer sha256sum, so the transfer is not device-side verified",
-            "Push writes the caller's file to the device; this is the only device-mutating ADB tool",
+            "Push writes the caller's file to the device",
           ],
         },
       ),
diff --git a/src/contracts/adb/adbToolContracts.ts b/src/contracts/adb/adbToolContracts.ts
index b121c8846e..e72b603d7b 100644
--- a/src/contracts/adb/adbToolContracts.ts
+++ b/src/contracts/adb/adbToolContracts.ts
@@ -127,7 +127,7 @@ export const ADB_TOOL_CONTRACTS = [
     name: "push_adb_file",
     ...toolContractMetadata("push_adb_file"),
     description:
-      "Push one local file to an absolute device path. The only device-mutating ADB tool: existing device files are refused unless overwrite is explicitly requested, and the transfer is verified by comparing the local digest with the device's own sha256sum when the device provides one.",
+      "Push one local file to an absolute device path. A device-mutating tool: existing device files are refused unless overwrite is explicitly requested, and the transfer is verified by comparing the local digest with the device's own sha256sum when the device provides one.",
     kind: "adb-provider",
     inputSchema: adbInputSchemas.push_adb_file,
     outputSchema: evidenceResultOf(adbResultSchemas.push_adb_file),