Emulate tabs as spaces

Now we use soft tabs (i.e., spaces) instead of hard tabs.