diff --git a/index.bs b/index.bs
index 5b8be50..8eb55bb 100644
--- a/index.bs
+++ b/index.bs
@@ -5934,7 +5934,7 @@ with data for a descriptor read operation by sending the following message:
 <pre highlight="cddl" class="cddl remote-cddl local-cddl">
 BluetoothEvent = (
   bluetooth.RequestDevicePromptUpdated //
-  bluetooth.GattConnectionAttempted //
+  bluetooth.GattConnectionAttempted
 )
 </pre>