Minor tweaks to formatting and phrasing