of course, I should have done a separate PR for that, I would have been first ;-)