Minor fixes in the text