Ah, good point, you are correct there is a mix of tabs and spaces in the original. But the innermost print appears to not be indented enough, so my comment still stands ;-)