Good spot! Hope the typo submission gets through.
Hi, Yiteng,
Thank you for pointing out this typo and submitting the typo request. Our production team will correct them as soon as possible. Sorry for the inconvenience.