enabling electric-indent