diff -r 24e251657e56 -r db16746a5604 NEWS
--- a/NEWS	Sun Feb 12 21:34:27 2006 +0100
+++ b/NEWS	Sun Feb 12 21:34:28 2006 +0100
@@ -363,8 +363,8 @@
 * Pure/General/rat.ML implements rational numbers.
 
 * Pure/General/table.ML: the join operations now works via exceptions
-DUP/SAME instead of type option.  This is simpler in simple cases, and
-admits slightly more efficient complex applications.
+DUP/SAME instead of type option.  This is both simpler and admits
+slightly more efficient complex applications.
 
 * Pure: datatype Context.generic joins theory/Proof.context and
 provides some facilities for code that works in either kind of