Re: Bug in many .texi files