From 2ed0d94bc78f1107da4178419e771ac9e75716f1 Mon Sep 17 00:00:00 2001
From: Raphael Kubo da Costa <raphael.kubo.da.costa@intel.com>
Date: Tue, 1 Aug 2023 13:27:37 +0200
Subject: [PATCH] s/An non-empty/A non-empty/

Co-authored-by: Reilly Grant <reillyeon@users.noreply.github.com>
---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index b21fbc6..5494a92 100644
--- a/index.bs
+++ b/index.bs
@@ -774,7 +774,7 @@ Note: In order to release hardware resources, the user agent can request underly
 
 A <dfn>sensor type</dfn> must have the following associated data:
 - One or more [=extension sensor interfaces=].
-- An [=set/is empty|nonempty=] [=ordered set=] of associated [=powerful feature/name|powerful
+- A [=set/is empty|non-empty=] [=ordered set=] of associated [=powerful feature/name|powerful
   feature names=] referred to as <dfn export>sensor permission names</dfn>.
 
   Note: Multiple [=sensor types=] may share the same [=powerful feature/name=].