Added back smart-indenting