git: fix whitespace in previous commit

scripts/whitespacecleanup.sh will remove tabs introduced in f0fbb0fe4462 ...
but that is fine; it was just an example.