Huh, turns out this *was* a typo.