Minor whitespace tweaks (personal preference)