I talked with Andrei S and he talked me into this. As long as we only make whitespace changes to 4-space indents, I am okay with what you did here. But I note that the if block is still indented 8 spaces...