[Gretl-devel] Few small bugs