Minor improvements to the text