Update WebMIDIAPI.js

Slight update, the previous one didn't work.