diff --git a/index.html b/index.html
index 80d236b..ce3ed10 100644
--- a/index.html
+++ b/index.html
@@ -596,9 +596,11 @@
A unique ID of the port. This can be used by developers to
remember ports the user has chosen for their application. The
User Agent MUST ensure that the {{MIDIPort/id}} is unique to only
- that port. The User Agent SHOULD ensure that the id is maintained
- across instances of the application - e.g., when the system is
- rebooted - and when a device is removed from the system.
+ that port. The User Agent SHOULD ensure that the {{MIDIPort/id}}
+ is unique per origin, and that the id is maintained across
+ instances of the application where permission to access [=MIDI
+ devices=] has been granted - e.g., when the system is rebooted -
+ and when a device is removed from the system.
Applications may want to cache these ids locally to re-create a
MIDI setup. Some systems may not support completely unique
persistent identifiers; in such cases, it will be more
@@ -607,10 +609,10 @@
of the requested port). It is expected that the system will do
the best it can to match a port across instances of the MIDI API:
for example, an implementation may opaquely use some form of hash
- of the port interface manufacturer, name and index as the id, so
- that a reference to that port id is likely to match the port when
- plugged in. Applications may use the comparison of id of
- MIDIPorts to test for equality.
+ of the origin and the port interface manufacturer, name and index
+ as the id, so that a reference to that port id is likely to match
+ the port when plugged in. Applications may use the comparison of
+ id of MIDIPorts to test for equality.