Reverting whitespace to previous match earlier revision

The whitespace was changed in 37d69c6b8897a96020d025ffbbadbfeee5637639, which was later reverted except for the whitespace. This matches it with 686a60d19cc7c9ed140116332b6728424d64dcf0 so that comparing branches won't be cluttered with noise.