made minor formatting tweaks