Whoops, wrong indent size in editor config