just some whitespace tidying