[Gretl-users] Re: Little bug in labels command?