That change is absolutely not need. It is a leftover of a different version of this change. I will remove it!