This is a typo. I will fix it.