Turns out this typo has existed in several places for a while, now fixed.