more formatting tweaks