cleanup tabs to spaces

Probably it's better to use spaces to indent rather than tabs, since many places (such as Github) support tabs not well. It's not identical on display.