formatting: change spaces to tabs