Fix some typos in the previous commit