I can't think of any way this would *not* be a typo, though I don't believe I've
actually encountered a bug that result from it.