Convert space to tabs in the bits that I changed in my last commit.
No functional change.

Reported by: jmallet@