Correcting a couple typos