only a tiny style thing, you can also use format specifiers in the logging

I can merge this pull request if you are happy with it.