@johnou It was a *deliberate* change to fix an evil some-spaces-some-tabs case.
I also split my change to two commits - one for indentation only and one for the concrete fix. Maybe I should have used two separate pull requests, but I really thought the indentation change is negligible.