[Gretl-devel] trivial glitches