Do not refer to "sub-modules" since that is not a defined term.

diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex
index 31769f7d2a8ebd101ffff3b229433eb635d9e813..d61165f8fcc4da0cee5c012dacb75fa2913af89a 100644 (file)
--- a/Doc/ref/ref6.tex
+++ b/Doc/ref/ref6.tex
@@ -548,13 +548,14 @@ this execution terminate step (1).
 When step (1) finishes without raising an exception, step (2) can
 begin.
 
-The first form of \keyword{import} statement binds the module name in the
-local namespace to the module object, and then goes on to import the
-next identifier, if any.  If the module name is followed by \keyword{as},
-the name following \keyword{as} is used as the local name for the module. To
-avoid confusion, you cannot import sub-modules 'as' a different
-local name. So 'import module as m' is legal, but 'import module.submod as
-s' is not. The latter should be written as 'from module import submod as s',
+The first form of \keyword{import} statement binds the module name in
+the local namespace to the module object, and then goes on to import
+the next identifier, if any.  If the module name is followed by
+\keyword{as}, the name following \keyword{as} is used as the local
+name for the module. To avoid confusion, you cannot import modules
+with dotted names \keyword{as} a different local name. So \code{import
+module as m} is legal, but \code{import module.submod as s} is not.
+The latter should be written as \code{from module import submod as s};
 see below.
 
 The \keyword{from} form does not bind the module name: it goes through the