diff --git a/Changelog b/Changelog
index b9a336959a4b9b337e316e7c96e2bae842d4384a..4902c1fc4f64e36f71d968edcdb1fd82d7a94f7c 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
 Open Source Release <next-release>
 ##################################
 
+-*  Kernel    [2020/03/18] Fixes #@818 (term generated for downcast alarms) 
 -   Eva       [2020/03/17] Supports the ACSL extended quantifiers \min and \max.
 -   Eva       [2020/03/17] deprecate options -eva-*-domain in favor of
               -eva-domains