Update Changelog.md

1 files changed, 1 insertions, 1 deletions

diff --git a/Changelog.md b/Changelog.md
index 9f15d44..513a249 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -9,7 +9,7 @@
   >>> alpha(x)~x, main~x;
   ```
 
-  Of course, it should be rejected, but it can be accepted because `x` is substituted and it becomes `main~alpha(x)`:
+  Of course, it should be rejected, but it can be accepted because `x` is substituted and it becomes `main~alpha(x)`, even though it is not what the user wants:
 
   ```
   >>> ifce;