diff -r ae0e735fbec8 -r c00b12a4e245 NEWS
--- a/NEWS	Wed Jul 04 14:10:01 2007 +0200
+++ b/NEWS	Wed Jul 04 14:21:00 2007 +0200
@@ -551,11 +551,11 @@
 wait for the automatic provers to return.
 
 * Case-expressions allow arbitrary constructor-patterns (including "_") and
-  takes their order into account, like in functional programming.
+  take their order into account, like in functional programming.
   Internally, this is translated into nested case-expressions; missing cases
   are added and mapped to the predefined constant "undefined". In complicated
   cases printing may no longer show the original input but the internal
-  form. Lambda-abstraction allows the same form of pattern matching:
+  form. Lambda-abstractions allow the same form of pattern matching:
   "% pat1 => e1 | ..." is an abbreviation for
   "%x. case x of pat1 => e1 | ..." where x is a new variable.