diff -r 12790d670662 -r 6180b6ba3e9a NEWS
--- a/NEWS	Thu Jun 03 16:39:05 2010 +0200
+++ b/NEWS	Thu Jun 03 16:39:50 2010 +0200
@@ -140,8 +140,8 @@
 within a local theory context.  Minor INCOMPATIBILITY.
 
 * Proof terms: Type substitutions on proof constants now use canonical
-order of type variables. Potential INCOMPATIBILITY for tools working
-with proof terms.
+order of type variables.  INCOMPATIBILITY for tools working with proof
+terms.
 
 * New operation Thm.unconstrainT eliminates all sort constraints from
 a theorem and proof, introducing explicit OFCLASS-premises. On the