Some typos and html code highlighting