It changed in a previous PR and I forgot to do it - @cpelley reminded me.