This does look odd. The git history is a bit hard to follow due to some major refactorings, though…

Thanks for reporting, I’ll have a look.