some minor formatting tweaks