Fix some typos that manu told me about.