Re: [Gretl-devel] a little search&replace bug