Ah, I see, I did not check for that.
I'll have to dive much deeper into the codebase, then...