Whitespace cleanup

Just tidying up some stray whitespace.