Re: [Gretl-users] trivial documentation bug