What a weird typo. Thanks for catching it (and sorry).