That's a left-over from the previous PR, see the comments at #2892