A couple typo fixes