a couple typo fixes