whitespace tidying