More formatting tweaks for README