Minor formatter changes to reduce whitespace. Actually, it seems as though most of it was intentional originally. I just think it's ugly looking.