A couple important typo fixes