Yes, I was also thinking about that, but I was not sure.
So I will update the pull then.