very minor formatting tweaks.