--- a/NEWS Sun Dec 19 17:39:20 2010 -0800
+++ b/NEWS Sun Dec 19 18:10:54 2010 -0800
@@ -71,7 +71,7 @@
"no_abbrevs" with inverted meaning.
* More systematic naming of some configuration options.
-INCOMPATIBILTY.
+INCOMPATIBILITY.
trace_simp ~> simp_trace
debug_simp ~> simp_debug