fixup git indent problem