[Gretl-devel] Reporting two little bugs