minor improvements to the text