python/to_python: Reformat