diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
index 1c944c35..846861da 100644
--- a/copilot-c99/CHANGELOG
+++ b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
 2023-09-07
+        * Version bump (3.16.1). (#455)
         * Clean code. (#453)
 
 2023-07-07
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
index e28ec7b7..492963d4 100644
--- a/copilot-core/CHANGELOG
+++ b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
index c5cf8343..16411d43 100644
--- a/copilot-interpreter/CHANGELOG
+++ b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
index 60ef8a9e..43616648 100644
--- a/copilot-language/CHANGELOG
+++ b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
         * Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
index b3117bb4..9d7e3508 100644
--- a/copilot-libraries/CHANGELOG
+++ b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2023-08-08
+2023-09-07
+        * Version bump (3.16.1). (#455)
         * Fix semantics of since in Copilot.Library.PTLTL. (#443)
         * Prevent the majority function from generating unused local variables.
           (#408)
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
index 522cb828..4bb2d40e 100644
--- a/copilot-prettyprinter/CHANGELOG
+++ b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
index 715d3de7..98e44fe8 100644
--- a/copilot-theorem/CHANGELOG
+++ b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
index 14883257..b9238f5d 100644
--- a/copilot/CHANGELOG
+++ b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)