fix indentation using reindent.py