diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 1a3e5223da2e0b38362bb7a99481de429be9dad6..4f52be2cbe99c153c05a9059050536f74da94096 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,7 @@
 #   <Prover>: prover
 ###############################################################################
 
+-* WP         [2020/02/20] Fixes handling of LoopCurrent in loop invariants 
 - WP          [2019/12/04] Added option -wp-run-all-provers
 
 ##########################