You're right… I don't know why this code change was in this PR… I'll check it anyway… Thanks for spotting!