further whitespace tweaks
further whitespace tweaks