diff --git a/source/preprocessor.tex b/source/preprocessor.tex
index 38c595333c..c571178a69 100644
--- a/source/preprocessor.tex
+++ b/source/preprocessor.tex
@@ -1251,14 +1251,6 @@
 the \grammarterm{pp-module-name} or \grammarterm{pp-module-partition}
 shall currently be defined as an object-like macro.
 
-\pnum
-Any preprocessing tokens after the \tcode{module} preprocessing token
-in the \tcode{module} directive are processed just as in normal text.
-\begin{note}
-Each identifier currently defined as a macro name
-is replaced by its replacement list of preprocessing tokens.
-\end{note}
-
 \pnum
 The \tcode{module} and \tcode{export} (if it exists) preprocessing tokens
 are replaced by the \grammarterm{module-keyword} and