cut extraneous in midiInRequire.html