diff --git a/doc/changelog/01-kernel/13867-changelog-for-13867.rst b/doc/changelog/01-kernel/13867-changelog-for-13867.rst
deleted file mode 100644
index 37e44b41c7f4..000000000000
--- a/doc/changelog/01-kernel/13867-changelog-for-13867.rst
+++ /dev/null
@@ -1,5 +0,0 @@
-- **Fixed:**
-  Fix arities of VM opcodes for some floating-point operations
-  that could cause memory corruption
-  (`#13867 <https://github.com/coq/coq/pull/13867>`_,
-  by Guillaume Melquiond).
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 7db54987d656..e5ab300305d4 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -701,6 +701,27 @@ Commands and options
   (`#13556 <https://github.com/coq/coq/pull/13556>`_,
   by Simon Friis Vindum).
 
+Changes in 8.13.1
+~~~~~~~~~~~~~~~~~
+
+Kernel
+^^^^^^
+
+- **Fixed:**
+  Fix arities of VM opcodes for some floating-point operations
+  that could cause memory corruption
+  (`#13867 <https://github.com/coq/coq/pull/13867>`_,
+  by Guillaume Melquiond).
+
+CoqIDE
+^^^^^^
+
+- **Added:**
+  Option ``-v`` and ``--version`` to CoqIDE
+  (`#13870 <https://github.com/coq/coq/pull/13870>`_,
+  by Guillaume Melquiond).
+
+
 Version 8.12
 ------------