diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index f0eff7392996031aa6e51c6e74147e5dfc5163c6..389007c7c917ae9519016a256dd51c427af755ff 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,9 +24,9 @@
 Plugin WP <next-release>
 #########################
 
-- WP          [2020-XX-XX] New experimental option: -wp-check-model-hypotheses
+- WP          [2020-09-17] New experimental option: -wp-check-model-hypotheses
                            Generates requires in contracts for model hypotheses
-- WP          [2020-XX-XX] Hypotheses: assigned memory locations
+- WP          [2020-09-17] Hypotheses: assigned memory locations
 - 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