More trivial typos

Just correcting a couple more typos.