Looks like some whitespace change made it into this PR. I can remove it, but it literally does nothing.