Remove typo (and thinko). That’ll teach me to rush publishing.