Fix some typos that resulted from very sleep coding