indenters: better indentation for Python