Minor tweaks to writing