Make the indentation consistently use tabs instead of using spaces just

in one place.