Tiny tweaks to formatting