1 files changed, 1 insertions, 3 deletions

diff --git a/README.md b/README.md
index 7407bb2..e95ea5e 100644
--- a/README.md
+++ b/README.md
@@ -41,13 +41,11 @@ is transformed to
 
 where `x` is a fresh variable.
 
-The `of` is optional (though recommended to distinguish Clean from Haskell).
-
 The extension to the grammar:
 
 ```
 LambdaAbstr = ...
-            | \case [of] {CaseAltDef}+
+            | \case of {CaseAltDef}+
 ```
 
 [clean]: http://clean.cs.ru.nl