Tweaks to formatting of README