diff --git a/example/rust/support/targets/aarch64-sel4-microkit-minimal.json b/example/rust/support/targets/aarch64-sel4-microkit-minimal.json
index 322a1359d..1cc21d2d5 100644
--- a/example/rust/support/targets/aarch64-sel4-microkit-minimal.json
+++ b/example/rust/support/targets/aarch64-sel4-microkit-minimal.json
@@ -31,5 +31,5 @@
     "kcfi",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }
diff --git a/example/rust/support/targets/riscv64gc-sel4-microkit-minimal.json b/example/rust/support/targets/riscv64gc-sel4-microkit-minimal.json
index 0e0e9ddeb..cd077a5c2 100644
--- a/example/rust/support/targets/riscv64gc-sel4-microkit-minimal.json
+++ b/example/rust/support/targets/riscv64gc-sel4-microkit-minimal.json
@@ -25,5 +25,5 @@
     "shadow-call-stack",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }
diff --git a/initialiser/support/targets/aarch64-sel4-minimal.json b/initialiser/support/targets/aarch64-sel4-minimal.json
index 46fc21aa8..96c14fa07 100644
--- a/initialiser/support/targets/aarch64-sel4-minimal.json
+++ b/initialiser/support/targets/aarch64-sel4-minimal.json
@@ -30,5 +30,5 @@
     "kcfi",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }
diff --git a/initialiser/support/targets/riscv64imac-sel4-minimal.json b/initialiser/support/targets/riscv64imac-sel4-minimal.json
index 8697c8c59..6e6803eda 100644
--- a/initialiser/support/targets/riscv64imac-sel4-minimal.json
+++ b/initialiser/support/targets/riscv64imac-sel4-minimal.json
@@ -24,5 +24,5 @@
     "shadow-call-stack",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }
diff --git a/initialiser/support/targets/x86_64-sel4-minimal.json b/initialiser/support/targets/x86_64-sel4-minimal.json
index c09af2c79..6266d15e8 100644
--- a/initialiser/support/targets/x86_64-sel4-minimal.json
+++ b/initialiser/support/targets/x86_64-sel4-minimal.json
@@ -28,5 +28,5 @@
     "kcfi",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }