NEWS

--- a/NEWS	Tue Apr 15 16:12:18 2008 +0200
+++ b/NEWS	Tue Apr 15 16:25:14 2008 +0200
@@ -28,7 +28,7 @@
 
 * Name space merge now observes canonical order, i.e. the second space
 is inserted into the first one, while existing entries in the first
-space take precedence.  INCOMPATIBILITY is rare situations, may try to
+space take precedence.  INCOMPATIBILITY in rare situations, may try to
 swap theory imports.