Clean up whitespace (hard spaces introduced by an earlier pull request, it seems).