diff --git a/Doc/lib/libmain.tex b/Doc/lib/libmain.tex
index 949d2b2..00c7426 100644
--- a/Doc/lib/libmain.tex
+++ b/Doc/lib/libmain.tex
@@ -1,9 +1,16 @@
 \section{\module{__main__} ---
-         Top-level script environment.}
-\declaremodule[main]{builtin}{__main__}
+         Top-level script environment}
 
+\declaremodule[main]{builtin}{__main__}
 \modulesynopsis{The environment where the top-level script is run.}
 
 This module represents the (otherwise anonymous) scope in which the
 interpreter's main program executes --- commands read either from
-standard input or from a script file.
+standard input, from a script file, or from an interactive prompt.  It
+is this environment in which the idiomatic ``conditional script''
+stanza causes a script to run:
+
+\begin{verbatim}
+if __name__ == "__main__":
+    main()
+\end{verbatim}