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