[Gretl-users] silly bug