Our indentation style has always mandated spaces, but over the years some tabs sneaked in. Fix up those places. !608