Some typos and other minor fixes