diff --git a/index.bs b/index.bs index ea77e7bc..74066c50 100644 --- a/index.bs +++ b/index.bs @@ -2008,7 +2008,8 @@ The base profile complies with that of