diff --git a/Changelog b/Changelog
index bae7947a32be91e156dd40d0e19c4182b4206104..281ea948fa27ed178cec5f91c07b9b6f16ed3b78 100644
--- a/Changelog
+++ b/Changelog
@@ -16,6 +16,8 @@
 ##################################
 Open Source Release <next-release>
 ##################################
+-   Logic     [2020-09-11] Introduce check-only annotations for
+              requires, ensures, loop invariant and lemmas
 -   Kernel    [2020-09-08] Add option -print-cpp-commands, to print the
               preprocessing commands used by Frama-C.
 -   Eva       [2020-09-07] Deprecates legacy options aliases -val-* in favor
@@ -335,7 +337,7 @@ o!  Constant Propagation [2018-09-12] Removing Db API for Constant Propagation
 o!  Kernel    [2018-07-23] Remove completely outdated module Dataflow.
               Deprecated since 3+ years. Use Dataflow2 instead.
 -*  RTE       [2018-07-23] Stop generating spurious \initialized alarms.
-              Fixes #@429  
+              Fixes #@429
 -*  Kernel    [2018-07-06] Respect relative order of labels and ACSL annots.
               Fixes #@524
 o*  Ptests    [2018-07-02] Do not keep oracles for empty stderr. Fixes #@402
@@ -836,7 +838,7 @@ o! Kernel     [2016-06-14] Remove class Filecheck.check from API.
               translated as 'tmp = e;' instead of 'if (e) {}' (which was
               incorrect when e did not have a scalar type)
 -  Eva        [2016-05-27] Improvements to option -val-subdivide-non-linear for
-              high number of subdivisions 
+              high number of subdivisions
 -* Value      [2016-05-23] Option -val-show-initial-state has been removed.
               Instead, -value-msg-key=-initial-state can be used
 -  Value      [2016-05-23] New message key final-states, that can be used
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 536b85c8130af21403546343899c6cef9c6febc9..8ed1f10106f6cf0faa6f12ab806e02f5dae691dd 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,12 +20,11 @@
 #   <Prover>: prover
 ###############################################################################
 
-- Wp          [2020-09-09] Support for generalized @check ACSL annotations
-
 #########################
 Plugin WP <next-release>
 #########################
 
+- WP          [2020-09-11] Support for generalized @check ACSL annotations
 - WP          [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell")
 - WP          [2020-07-06] Option -wp-cache-env now defaults to false
 - WP          [2020-07-06] New option -wp-cache-print