This indentation change is unneeded (and wrong?).