diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index dc97848..0020c9d 100644
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -403,7 +403,7 @@
 with, etc.).
 
 All of this is done through another keyword argument to
-\function{setup()}, the \option{extensions} option.  \option{extensions}
+\function{setup()}, the \option{ext_modules} option.  \option{ext_modules}
 is just a list of \class{Extension} instances, each of which describes a
 single extension module.  Suppose your distribution includes a single
 extension, called \module{foo} and implemented by \file{foo.c}.  If no