ran 'reindent.py' script on python files (fixes #14)