a couple typos