Whitespace

none of the changes here should affect anything, but they can help make diffs smaller in the future