ok
I was just surprised to see it in this PR.
I have no memory of fixing it in this branch ...