(Also: pre-existing.)  Is there any difference between %i and %d ?  I can't see one.
Anyway, yes, well spotted - duly changed.  Shall rebase onto latest master and update.