Whitespace tidying.