Shouldn't this be indented? (And there are some occurrences in various files down below too. I'm guessing its because each hard tab is converted to one soft tab, but the original coder's editor had an odd tab width so the converted soft tabs don't align right.)