[Gretl-devel] small discrepancy after porting to js