fix: crossref. for texinfo