Minor whitespace problems