[Gretl-users] Just a minor cosmetic issue