Correct mix of spaces and tabs in indenting