Re: [Gretl-users] typo in User's guide