Re: [Gretl-users] Just a minor cosmetic issue