[Gretl-devel] Some small bugs