Re: [Gretl-devel] (mostly cosmetic) bugs