Some minor tweaks to the text