Fix the last texinfo @ref{.