Some typos

Review after techlunch