diff -r fbb3c68a8d3c -r 4f9f61f9b535 NEWS
--- a/NEWS	Fri Feb 17 11:24:39 2012 +0100
+++ b/NEWS	Fri Feb 17 15:42:26 2012 +0100
@@ -37,8 +37,8 @@
 position information via constraints).
 
 * Simplified configuration options for syntax ambiguity: see
-"syntax_ambiguity" and "syntax_ambiguity_limit" in isar-ref manual.
-Minor INCOMPATIBILITY.
+"syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref
+manual.  Minor INCOMPATIBILITY.
 
 
 *** Pure ***