Make tabs-vs-spaces friendlier