I find it strange, but no real need to have an long discussion about it. Let's leave it as it is because it is not wrong.
I will see if i can figure out how to remove this change from the pull request.