Fix mixed indentation (again)

I thought for sure it was fixed in
1d235da0901f91f15c9331acfe91992743685be2