Fix texinfo error.