Re: bug in packages.texi