use proper Python indentation for several files