Fix a typo

In fact, there are two typos.