Re: [Gretl-users] Bug?