As a followup to https://github.com/WebAudio/web-midi-api/pull/219#pullrequestreview-783975266
As a followup to #219 (review)