After some minor typos