NEWS

--- a/NEWS	Wed Sep 11 18:38:23 2013 +0200
+++ b/NEWS	Wed Sep 11 18:52:30 2013 +0200
@@ -212,7 +212,7 @@
   - The whole reflection stack has been decomposed into conversions.
 INCOMPATIBILITY.
 
-* Weaker precendence of syntax for big intersection and union on sets,
+* Stronger precedence of syntax for big intersection and union on sets,
 in accordance with corresponding lattice operations.  INCOMPATIBILITY.
 
 * Nested case expressions are now translated in a separate check phase