fix

kainino0x · kainino0x · commit 29a35fdbebf2 · 2021-04-12T19:32:13.000-07:00
diff --git a/spec/index.bs b/spec/index.bs
@@ -1289,11 +1289,12 @@ call, the user agent *should* [=mark adapters stale=]. For example:
 - A physical adapter is added/removed (via plug, driver update, TDR, etc.)
 - The system's power configuration has changed (laptop unplugged, power settings changed, etc.)
 
-Additionally, [=mark adapters stale=] may by scheduled at any time. User agents may choose to do
-this often even when there has been no system state change (e.g. several seconds after the last
-call to {{GPU/requestDevice()}}. This has no effect on well-formed applications, obfuscates real
-system state changes, and makes developers more aware that calling {{GPU/requestAdapters()}}
-again is always necessary before calling {{GPUAdapter/requestDevice()}}.
+Additionally, [=mark adapters stale=] may by scheduled at any time.
+User agents may choose to do this often even when there has been no system state change (e.g.
+several seconds after the last call to {{GPUAdapter/requestDevice()}}.
+This has no effect on well-formed applications, obfuscates real system state changes, and makes
+developers more aware that calling {{GPU/requestAdapter()}} again is always necessary before
+calling {{GPUAdapter/requestDevice()}}.
 
 <div algorithm>
     To <dfn dfn>mark adapters stale</dfn>:
