diff --git a/phases/ephemeral/witx/typenames.witx b/phases/ephemeral/witx/typenames.witx
index 4751ba1a..a614d852 100644
--- a/phases/ephemeral/witx/typenames.witx
+++ b/phases/ephemeral/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 
diff --git a/phases/ephemeral/witx/wasi_ephemeral_preview.witx b/phases/ephemeral/witx/wasi_ephemeral_preview.witx
index de4ff81a..d15b8c51 100644
--- a/phases/ephemeral/witx/wasi_ephemeral_preview.witx
+++ b/phases/ephemeral/witx/wasi_ephemeral_preview.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")
 
diff --git a/phases/old/snapshot_0/witx/typenames.witx b/phases/old/snapshot_0/witx/typenames.witx
index b9c66b98..cf39a2de 100644
--- a/phases/old/snapshot_0/witx/typenames.witx
+++ b/phases/old/snapshot_0/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 
diff --git a/phases/old/snapshot_0/witx/wasi_unstable.witx b/phases/old/snapshot_0/witx/wasi_unstable.witx
index bc920fd8..4cf5f4ff 100644
--- a/phases/old/snapshot_0/witx/wasi_unstable.witx
+++ b/phases/old/snapshot_0/witx/wasi_unstable.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")
 
diff --git a/phases/snapshot/witx/typenames.witx b/phases/snapshot/witx/typenames.witx
index aab4f110..68f6fac4 100644
--- a/phases/snapshot/witx/typenames.witx
+++ b/phases/snapshot/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 
diff --git a/phases/snapshot/witx/wasi_snapshot_preview1.witx b/phases/snapshot/witx/wasi_snapshot_preview1.witx
index 2ee7c98a..e69b788d 100644
--- a/phases/snapshot/witx/wasi_snapshot_preview1.witx
+++ b/phases/snapshot/witx/wasi_snapshot_preview1.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")