Convert space to tabs in the bits that I changed in my last commit. No functional change.
Reported by: jmallet@