More standard Python indenting