Tiny reformatting in portmidi.py.