Minor whitespace fixes