diff -r 017e5dac8642 -r 31334a7b109d NEWS
--- a/NEWS	Thu May 12 15:29:19 2011 +0200
+++ b/NEWS	Thu May 12 15:29:19 2011 +0200
@@ -69,7 +69,7 @@
     INCOMPATIBILITY.
   - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
     TPTP problems (TFF).
-  - Added "type_sys", "max_mono_iters", and "max_mono_instances" options.
+  - Added "type_sys", "max_mono_iters", and "max_new_mono_instances" options.
 
 * "try":
   - Added "simp:", "intro:", and "elim:" options.