A couple typos