Minor whitespace tweaking