more small corrections to the text, mostly typos