Minor whitespace tweaks