Small fixes in the text.