Fix for apparently stolen link to texinfo