Fix whitespace

Some tab characters somehow got into  one of the files