Grammatical nit.
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