diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 60844cd373c47d043f1eec8643ecc8a6bb88df39..1bbd1d8265a90f971c869754a33f6d6ccca4c435 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,8 @@
 #   <Prover>: prover
 ###############################################################################
 
+ - Wp          [2019/04/26] Now requires -warn-invalid-bool
+ - Wp          [2019/04/26] Removed option -wp-bool-range
  - Wp          [2019/04/24] Support for Why3 1.* and Coq 8.{7-9}
  - Wp          [2019/02/26] Support for @check ACSL annotations
  - WP          [2018/02/16] Filter out some variables from separation