diff --git a/doc/info/texinfo.tex b/doc/info/texinfo.tex
index 274aaac1e..6fe91d4f7 100644
--- a/doc/info/texinfo.tex
+++ b/doc/info/texinfo.tex
@@ -8943,6 +8943,8 @@ might help (with 'rm \jobname.?? \jobname.??s')%
 % node name, #4 the name of the Info file, #5 the name of the printed
 % manual.  All but the node name can be omitted.
 %
+\newif\ifrefincludespage
+\refincludespagetrue
 \def\pxref{\putwordsee{} \xrefXX}
 \def\xref{\putwordSee{} \xrefXX}
 \def\ref{\xrefXX}
@@ -9120,8 +9122,8 @@ might help (with 'rm \jobname.?? \jobname.??s')%
       %
       % output the `[mynode]' via the macro below so it can be overridden.
       \xrefprintnodename\printedrefname
-      %
-      % But we always want a comma and a space:
+      \ifrefincludespage
+      % We always want a comma and a space:
       ,\space
       %
       % output the `page 3'.
@@ -9135,6 +9137,7 @@ might help (with 'rm \jobname.?? \jobname.??s')%
                 \tokenafterxref ,%    @NL
       \else\ifx\tie\tokenafterxref ,% @tie
       \fi\fi\fi\fi\fi\fi
+      \fi
     \fi\fi
   \fi
   \endlink