Re: gnulib-tool.py: trivial fixes

[Bruno Haible]

Dmitry Selyutin wrote:
> Sure, perfectly OK.

OK, I've pushed these.