small tweaks to formatting