Actually, this file uses tabs exclusively, I forget.  In any case, the formatter should be fine.