Fix texinfo issue.