Minor tweaks to formatting