minor formatting tweaks