slight formatting tweaks