I've changed this in #58044ebc0b319e8b00ce8da2315f194316441b82.