Fixing a couple typos