[Gretl-users] small bug