diff --git a/Doc/ref/ref4.tex b/Doc/ref/ref4.tex
index 636bc1d3756..754a5b59d09 100644
--- a/Doc/ref/ref4.tex
+++ b/Doc/ref/ref4.tex
@@ -80,7 +80,7 @@ searched in the built-in namespace (which is actually the global
 namespace of the module
 \module{__builtin__}\refbimodindex{__builtin__}).  The built-in
 namespace associated with the execution of a code block is actually
-found by looking up the name \code{__builtins__} is its global
+found by looking up the name \code{__builtins__} in its global
 namespace; this should be a dictionary or a module (in the latter case
 its dictionary is used).  Normally, the \code{__builtins__} namespace
 is the dictionary of the built-in module \module{__builtin__} (note: