diff --git a/Doc/lib/libni.tex b/Doc/lib/libni.tex
index faa1b8b..4be0d36 100644
--- a/Doc/lib/libni.tex
+++ b/Doc/lib/libni.tex
@@ -10,7 +10,7 @@
 if you really need it, you can use \code{import ni1}, but the
 recommended approach is to rely on the built-in package support,
 converting existing packages if needed.  Note that mixing \code{ni}
-and the built-in package support doesn't work once you import
+and the built-in package support doesn't work: once you import
 \code{ni}, all packages use it.
 
 The \code{ni} module defines a new importing scheme, which supports
diff --git a/Doc/libni.tex b/Doc/libni.tex
index faa1b8b..4be0d36 100644
--- a/Doc/libni.tex
+++ b/Doc/libni.tex
@@ -10,7 +10,7 @@
 if you really need it, you can use \code{import ni1}, but the
 recommended approach is to rely on the built-in package support,
 converting existing packages if needed.  Note that mixing \code{ni}
-and the built-in package support doesn't work once you import
+and the built-in package support doesn't work: once you import
 \code{ni}, all packages use it.
 
 The \code{ni} module defines a new importing scheme, which supports