updates for texinfo borkage