diff --git a/source/preprocessor.tex b/source/preprocessor.tex
index 38c595333c..be37d4064f 100644
--- a/source/preprocessor.tex
+++ b/source/preprocessor.tex
@@ -1219,12 +1219,6 @@
     \opt{\keyword{export}} \keyword{module} \opt{pp-tokens} \terminal{;} new-line
 \end{bnf}
 
-\pnum
-A \grammarterm{pp-module} shall not
-appear in a context where \tcode{module}
-or (if it is the first preprocessing token of the \grammarterm{pp-module}) \tcode{export}
-is an identifier defined as an object-like macro.
-
 \pnum
 The \grammarterm{pp-tokens}, if any, of a \grammarterm{pp-module}
 shall be of the form:
@@ -1280,12 +1274,6 @@
     \opt{\keyword{export}} \keyword{import} pp-tokens \terminal{;} new-line
 \end{bnf}
 
-\pnum
-A \grammarterm{pp-import} shall not
-appear in a context where \tcode{import}
-or (if it is the first preprocessing token of the \grammarterm{pp-import}) \tcode{export}
-is an identifier defined as an object-like macro.
-
 \pnum
 The preprocessing tokens after the \tcode{import} preprocessing token
 in the \tcode{import} \grammarterm{control-line}