[Gretl-devel] p.s. (minor issues)