This line is a tab-indented in a file using _predominantly_ space-based indents (but it's using mixed indents in general, already).

I don't think that minor whitespace quirk should block this otherwise important crash fix, though.