Some cosmetic changes for github (tabs to spaces)