[Gretl-devel] minor issues