Comment by erickj

> Not that this matters for this particular tool.

Then the code is perfectly appropriate.