Instead of having https://w3c.github.io/webauthn/#dom-webauthentication-makecredential step 6 say > If excludeList is undefined, set it to the empty list. it would probably be better to have the IDL for the `ScopedCredentialOptions` dictionary say: sequence<ScopedCredentialDescriptor> excludeList = []; so you don't have to worry about this situation in prose at all.