    \else
      % node/anchor (non-float) references.
      % 
-@@ -9010,7 +9018,7 @@
+@@ -9122,7 +9130,7 @@
        \else\ifx\tie\tokenafterxref ,% @tie
        \fi\fi\fi\fi\fi\fi
      \fi\fi

 \def\xrefX[#1,#2,#3,#4,#5,#6]{\begingroup
   \unsepspaces
   %
@@ -8956,6 +8958,12 @@
     \ifdim \wd\printedmanualbox > 0pt
       \space \putwordin{} \cite{\printedmanual}%
     \fi

--- texinfo.tex.orig	2020-11-01 10:53:32.456654740 +0100
+++ texinfo.tex	2020-11-01 10:58:51.101978168 +0100
@@ -8005,7 +8005,7 @@
     \df \tt
     \def\temp{#2}% text of the return type
     \ifx\temp\empty\else
