Fix issue #47.

Fixes https://github.com/WebAudio/web-midi-api/issues/47.