Reindent

Use reindent.py to all files.