diff --git a/CHANGES.md b/CHANGES.md
index bd46f66..860d0ce 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,7 @@
 # Changes
 
-## eclingo 0.2.1
+## eclingo 0.4
   * allows to use "not" inside epistemic literals. Now "a :- &k{ not b}." is a valid program.
-  * works with (and requires) clingo 5.5 and python 3.8.
+  * works with (and requires) clingo 5.5.2 and python 3.9.
   * Semantics K14 is not supported in this version.
   * Grounding is done only once instead of twice.