Convert tabs to spaces

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