Minor tweaks in text.