manipulateMidi.py: converted indents to spaces