diff --git a/index.bs b/index.bs
index 08627bcea..81ea745db 100644
--- a/index.bs
+++ b/index.bs
@@ -4005,8 +4005,11 @@ This [=registration extension=] and [=authentication extension=] enables use of
 
     Servers supporting UVI extensions MUST support a length of up to 32 bytes for the UVI value.
 
-    Example for [=authenticator data=] containing one UVI extension
+    Example for [=authenticator data=] containing one UVI extension along with CDDL
     <pre>
+    CDDL:
+    uviOutput = (bstr)
+    CBOR Example:
         ...                                         -- [=RP ID=] hash (32 bytes)
         81                                          -- UP and ED set
         00 00 00 01                                 -- (initial) signature counter