Replacing the hard tabs by soft tabs.

Since I changed everything in the page except the top comments, I thought I should also change the hard tabs here.