Fix whitespace

Probably introduced by my rebase...