Single whitespace change; shamelessly committed.

And will be pushed, again shamelessly.