Small improvement, discovered while compiling

Controls.js line 1757: setMIDIDevices had a superfluous
argument. Reported by Chrome Javascript compressor.
Using the compressor would mean some changes to
the code (e.g. where it refers to specific score pages),
so I've decided against using it for now.