diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2e6395b25df734c4fba410c9d9b4c447f6c47515..76699535ca1e2302abf0b8189df3ed38fe79670e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,12 @@
 
 Most recent changes:
 
+- 2020-12-14 Some clarifications:
+
+  - In `array.rs`, missing `not` in "(Hint, even if we don't use the result `b`, Rust do not optimize out the call, why?)"
+
+  - Small clarifications to other examples (see diff for details.)
+  
 - 2020-12-12 Update with `cyccnt` example.
 
 - 2020-12-08 Update `README.md` for Ubuntu (like) system with `z3` dependency.