Re: [Gretl-users] (possible) bug report