Broken makeinfo? [was: Re: Fix this]