Some improvements in the text