Reverted the previous commit.

Indeed, we ended up replacing tabs that shouldn't have been replaced...