just more formatting tweaks