diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 21944be46f3999616ea7d7a829deae9225d730fc..63e68dd7fbced0a26bd0e134462ecd42329e2c4d 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,11 +24,6 @@
 Plugin WP <next-release>
 #########################
 
-
-#########################
-Plugin WP 23.1 (Vanadium)
-#########################
-
 - WP          [2021-06-11] Adds an experimental support of "terminates" clauses.
                            Adds the options -wp-declaration-terminate and
                           -wp-frama-c-stdlib to claims that external functions
@@ -42,6 +37,10 @@ Plugin WP 23.1 (Vanadium)
                            option -wp-smoke-dead-assumes
 - TIP         [2021-05-31] Generalized Overflow tactic
 
+#########################
+Plugin WP 23.1 (Vanadium)
+#########################
+
 - WP          [2021-07-15] Fix a crash related to opaque structures memory typing
 
 #########################