Re: [Gretl-devel] (maybe, small) bug