Minor tweaks to the text