a couple formatting tweaks