Whitespace fixes

Minor whitespace fixes for later PR sanity.